More Easton Theorems for Level by Level Equivalence ∗ † Arthur
نویسنده
چکیده
We establish two new Easton theorems for the least supercompact cardinal that are consistent with the level by level equivalence between strong compactness and supercompactness. These theorems generalize [1, Theorem 1]. In both our ground model and the model witnessing the conclusions of our theorem, there are no restrictions on the structure of the class of supercompact cardinals.
منابع مشابه
A New Easton Theorem for Supercompactness and Level by Level Equivalence ∗†
We establish a new Easton theorem for the least supercompact cardinal κ that is consistent with the level by level equivalence between strong compactness and supercompactness. This theorem is true in any model of ZFC containing at least one supercompact cardinal, regardless if level by level equivalence holds. Unlike previous Easton theorems for supercompactness, there are no limits on the East...
متن کاملLevel by Level Inequivalence , Strong Compactness , and GCH ∗ † Arthur
We construct three models containing exactly one supercompact cardinal in which level by level inequivalence between strong compactness and supercompactness holds. In the first two models, below the supercompact cardinal κ, there is a non-supercompact strongly compact cardinal. In the last model, any suitably defined ground model Easton function is realized.
متن کاملStationary Reflection and Level by Level Equivalence
We force and construct a model in which level by level equivalence between strong compactness and supercompactness holds, along with certain additional “inner model like” properties. In particular, in this model, the class of Mahlo cardinals reflecting stationary sets is the same as the class of weakly compact cardinals, and every regular Jonsson cardinal is weakly compact. On the other hand, w...
متن کاملA universal indestructibility theorem compatible with level by level equivalence
We prove an indestructibility theorem for degrees of supercompactness that is compatible with level by level equivalence between strong compactness and supercompactness.
متن کاملSingular Failures of GCH and Level by Level Equivalence ∗†
We construct a model for the level by level equivalence between strong compactness and supercompactness in which below the least supercompact cardinal κ, there is an unbounded set of singular cardinals which witness the only failures of GCH in the universe. In this model, the structure of the class of supercompact cardinals can be arbitrary.
متن کامل